Revision: tla-tools--devo--0--patch-26
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Sun Feb  1 09:43:28 JST 2004
Standard-date: 2004-02-01 00:43:28 GMT
Modified-files: configure
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-26
Summary: configure script: progress msgs, always use $SED, cmd-line vars

